punch holder - German English Dictionary